Omodeo, Eugenio G.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

On Sets and Graphs ||

Omodeo, Eugenio G., Policriti, Alberto, Tomescu, Alexandru I.

Year:

2017

Language:

english

File:

PDF, 6.77 MB

english, 2017

2

Set-syllogistics meet combinatorics

OMODEO, EUGENIO G., POLICRITI, ALBERTO, TOMESCU, ALEXANDRU I.

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 703 KB

english, 2017

3

{log}: A language for programming in logic with finite sets

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 2.45 MB

english, 1996

4

Decidability of ∀*∀-Sentences in Membership Theories

Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti

Journal:

Mathematical Logic Quarterly

Year:

1996

Language:

english

File:

PDF, 1007 KB

english, 1996

5

Decidability results for sets with atoms

Dovier, Agostino, Formisano, Andrea, Omodeo, Eugenio G.

Journal:

ACM Transactions on Computational Logic

Year:

2006

Language:

english

File:

PDF, 511 KB

english, 2006

6

A graphical approach to relational reasoning

Andrea. Formisano, Eugenio G. Omodeo, Marta Simeoni

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 526 KB

english, 2003

7

The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability

Omodeo, Eugenio, Policriti, Alberto

Journal:

Journal of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 1.54 MB

english, 2010

8

A graphical representation of relational formulae with complementation

Cantone, Domenico, Formisano, Andrea, Asmundo, Marianna Nicolosi, Omodeo, Eugenio Giovanni

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2012

Language:

english

File:

PDF, 433 KB

english, 2012

9

A derived algorithm for evaluating ɛ-expressions over abstract sets

Eugenio G. Omodeo, Franco Parlamento, Alberto Policriti

Journal:

Journal of Symbolic Computation

Year:

1993

Language:

english

File:

PDF, 1.70 MB

english, 1993

10

The Bernays-Schönfinkel-Ramsey class for set theory: decidability

Policriti, Alberto, Omodeo, Eugenio

Journal:

Journal of Symbolic Logic

Year:

2012

Language:

english

File:

PDF, 1.36 MB

english, 2012

11

Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions

Alfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz

Journal:

Communications on Pure and Applied Mathematics

Year:

1980

Language:

english

File:

PDF, 521 KB

english, 1980

12

Paclitaxel-releasing mesenchymal stromal cells inhibit in vitro proliferation of human mesothelioma cells

Petrella, Francesco, Coccè, Valentina, Masia, Carla, Milani, Martina, Salè, Emanuela Omodeo, Alessandri, Giulio, Parati, Eugenio, Sisto, Francesca, Pentimalli, Francesca, Brini, Anna T., Pessina, Augu

Journal:

Biomedicine & Pharmacotherapy

Year:

2017

Language:

english

File:

PDF, 761 KB

english, 2017

13

Three-variable statements of set-pairing

Andrea Formisano, Eugenio G Omodeo, Alberto Policriti

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 402 KB

english, 2004

14

Algebraic semantics of ER-models in the context of the calculus of relations: I: Static view

Eugenio G. Omodeo, Ernst-Erich Doberkat

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 252 KB

english, 2003

15

Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case

Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1999

Language:

english

File:

PDF, 253 KB

english, 1999

16

Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case

Eugenio G. Omodeo, Alberto Policriti

Journal:

Communications on Pure and Applied Mathematics

Year:

1995

Language:

english

File:

PDF, 1.87 MB

english, 1995

17

Formative Processes with Applications to the Decision Problem in Set Theory: I. Powerset and Singleton Operators

Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 312 KB

english, 2002

18

Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets

Eugenio G. Omodeo, Alexandru I. Tomescu

Journal:

Journal of Automated Reasoning

Year:

2014

Language:

english

File:

PDF, 2.23 MB

english, 2014

19

[Outstanding Contributions to Logic] Martin Davis on Computability, Computational Logic, and Mathematical Foundations Volume 10 || DPLL: The Core of Modern Satisfiability Solvers

Omodeo, Eugenio G., Policriti, Alberto

Year:

2016

Language:

english

File:

PDF, 215 KB

english, 2016

20

Complexity assessments for decidable fragments of set theory. II: A taxonomy for âsmallâ languages involving membership

Cantone, Domenico, Maugeri, Pietro, Omodeo, Eugenio G.

Journal:

Theoretical Computer Science

Year:

2020

File:

PDF, 1.18 MB

2020

21

Goals and Benchmarks for Automated Map Reasoning

Andrea Formisano, Eugenio G. Omodeo, Marco Temperini

Journal:

Journal of Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 625 KB

english, 2000

22

ER modelling from first relational principles

Ernst-Erich Doberkat, Eugenio G. Omodeo

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 397 KB

english, 2004

23

[Monographs in Computer Science] Set Theory for Computing ||

Cantone, Domenico, Omodeo, Eugenio, Policriti, Alberto

Year:

2001

Language:

english

File:

PDF, 35.35 MB

english, 2001

24

Computational Logic and Set Theory ||

Schwartz, Jacob T., Cantone, Domenico, Omodeo, Eugenio G.

Year:

2011

Language:

english

File:

PDF, 3.12 MB

english, 2011

25

The Axiom of Elementary Sets on the Edge of Peircean Expressibility

Andrea Formisano, Eugenio G. Omodeo and Alberto Policriti

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.56 MB

english, 2005

26

[Outstanding Contributions to Logic] Martin Davis on Computability, Computational Logic, and Mathematical Foundations Volume 10 ||

Omodeo, Eugenio G., Policriti, Alberto

Year:

2016

Language:

english

File:

PDF, 6.03 MB

english, 2016

27

The axiom of elementary sets on the edge of Peircean expressibility

Formisano, Andrea, Omodeo, Eugenio G., Policriti, Alberto

Journal:

Journal of Symbolic Logic

Year:

2005

Language:

english

File:

PDF, 1.03 MB

english, 2005

28

The automation of syllogistic I. Syllogistic normal forms

Domenico Cantone, Susanna Ghelfo, Eugenio Omodeo

Journal:

Journal of Symbolic Computation

Year:

1988

Language:

english

File:

PDF, 916 KB

english, 1988

29

The linked conjunct method for automatic deduction and related search techniques

Eugenio G. Omodeo

Journal:

Computers & Mathematics with Applications

Year:

1982

Language:

english

File:

PDF, 1.51 MB

english, 1982

30

[Outstanding Contributions to Logic] Martin Davis on Computability, Computational Logic, and Mathematical Foundations Volume 10 || Martin Davis’s Bibliography 1950–2015

Omodeo, Eugenio G., Policriti, Alberto

Year:

2016

Language:

english

File:

PDF, 105 KB

english, 2016

31

Layered map reasoning: An experimental approach put to trial on sets

Andrea Formisano, Eugenio G. Omodeo, Marco Temperini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 283 KB

english, 2001

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски